Algebras with representable representations
نویسندگان
چکیده
Just like group actions are represented by automorphisms, Lie algebra derivations: up to isomorphism, a split extension of $B$ $X$ corresponds morphism $B\to \mathit{Der}(X)$ from the $\mathit{Der}(X)$ derivations on $X$. In this article, we study question whether concept derivation can be extended other types non-associative algebras over field $\mathbb{K}$, in such way that these generalised characterise $\mathbb{K}$-algebra actions. We prove answer is no, as soon $\mathbb{K}$ infinite. fact, stronger result: already representability all abelian -- which usually called representations or Beck modules suffices for true. Thus variety an infinite characteristic different $2$ only non-abelian category with representable representations. This emphasises unique role played linear endomorphisms $\mathfrak{gl}(V)$ representing object vector space $V$.
منابع مشابه
Completely Representable Relation Algebras
A boolean algebra is shown to be completely representable if and only if it is atomic whereas it is shown that the class of completely representable relation algebras is not elementary.
متن کاملAxiomatizability of representable domain algebras
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. representable domain algebras. We prove that, even for the minimal signature consisting of the domain and composition operations, the class of representable domain algebras is not finitely axiomatizable. Then we show similar re...
متن کاملRepresentable sequential algebras and observation spaces
We define the concepts of representable and abstract sequential Q-algebra, which are generalizations of the (relational) Q-algebras in [10]. Just as in that paper, we then prove that the two concepts coincide. In the following section we recall the concept of observation space and note that all complex algebras of observation spaces are representable sequential algebras. Finally we give an unco...
متن کاملStrongly representable atom structures of cylindric algebras
A cylindric algebra atom structure is said to be strongly representable if all atomic cylindric algebras with that atom structure are representable. This is equivalent to saying that the full complex algebra of the atom structure is a representable cylindric algebra. We show that for any finite n ≥ 3, the class of all strongly representable n-dimensional cylindric algebra atom structures is not...
متن کاملStrongly Representable Atom Structures of Relation Algebras
A relation algebra atom structure α is said to be strongly representable if all atomic relation algebras with that atom structure are representable. This is equivalent to saying that the complex algebra Cmα is a representable relation algebra. We show that the class of all strongly representable relation algebra atom structures is not closed under ultraproducts and is therefore not elementary. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 2021
ISSN: ['1464-3839', '0013-0915']
DOI: https://doi.org/10.1017/s0013091521000304